ALGOL 68 - PDFSEARCH.IO - Document Search Engine

ALGOL 68
Results: 3011

#	Item
231	Guidelines for Illinois Center for Transportation (ICT) Reports (updated) Add to Reading List Source URL: ict.illinois.edu Language: English - Date: 2015-05-28 08:53:07 Information technology Arial Information and communication technologies in education ALGOL 68 Software engineering Computing Programming language theory Communication
232	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50 Data types Higher-order functions Type theory Recursion Source code Algebraic data type Satisfiability Modulo Theories Map ALGOL 68 Software engineering Computer programming Computing
233	Interactive Synthesis of Code Snippets Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac⋆ Swiss Federal Institute of Technology Lausanne (EPFL) Abstract. We describe a tool that applies theore Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Functional languages Procedural programming languages C++ Snippet Source code Scala Eval Constructor ALGOL 68 Computing Software engineering Computer programming
234	Alameda County Local Application Process For the 2015 HUD Continuum of Care NOFA FREQUENTLY ASKED QUESTIONS EveryOne Home has received several questions concerning the HMIS Data Completeness Report, to which Bowman Syste Add to Reading List Source URL: www.everyonehome.org Language: English - Date: 2015-05-05 12:47:23 Mathematical logic Metalogic Proof theory Logic Data quality ALGOL 68 Data cleansing Report card Mathematics Programming language theory Completeness
235	Computer Studies AA Degree, CertificateCurriculum Guide - Ohlone College Add to Reading List Source URL: www.ohlone.edu Language: English - Date: 2014-08-13 18:27:47 Computer science Ohlone College Object-oriented programming ALGOL 68 Computer science education Software engineering Programming language theory Computing
236	1 Copyright © 2013, Oracle and/or its affiliates. All rights reserved. One VM to Rule Them All Christian Wimmer, Chris Seaton Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-08-07 18:20:02 Interpreter Oracle Corporation Java Oracle Database Oracle machine ALGOL 68 Inline expansion Just-in-time compilation Computing Software Cross-platform software
237	The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st Add to Reading List Source URL: wiki.t-o-f.info Language: English - Date: 2012-01-05 14:13:29 Procedural programming languages Type theory Data types Programming paradigms Richard Bornat ALGOL 68 Programming language Assignment C Software engineering Computing Computer programming
238	DOC Document Add to Reading List Source URL: www.twmlsws.edu.hk Language: English - Date: 2011-11-28 01:17:02 Occupations ALGOL 68 Software engineering Computing Programming language theory Accountancy Finance
239	PDF Document Add to Reading List Source URL: brieger.esalq.usp.br Language: English - Date: 2015-05-29 13:12:41 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
240	PDF Document Add to Reading List Source URL: upc.gwu.edu Language: English - Date: 2013-12-04 13:04:31 Procedural programming languages C ALGOL 68 D Software engineering Computing Programming language theory

UPDATE